Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science)
by Jan Heering,Bernhard M??ller,Gilles Dowek,Karl Meinke
ISBN 13: 9783540612544
Format: Paperback (304 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, ... 1490 (Lecture Notes in Computer Science)
by Catuscia Palamidessi,Hugh Glaser,Karl Meinke
ISBN 13: 9783540650126
Format: Paperback (516 pages) Publisher: Springer Published: 13 Jun 2008
Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... 11026 (Lecture Notes in Computer Science)
by Amel Bennaceur, Reiner Hähnle, Karl Meinke
ISBN 13: 9783319965611
Format: Paperback (268 pages) Publisher: Springer Published: 31 Aug 2018
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers: 816 (Lecture Notes in Computer Science)
by Jan Heering,Tobias Nipkow,Bernhard M??ller,Karl Meinke
ISBN 13: 9783540582335
Format: Illustrated (360 pages) Publisher: Springer Published: 13 Jun 2008